21. Conditionals and Modularity in General Logics
پدیدآورنده: / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
22. Conditionals and Modularity in General Logics
پدیدآورنده: / Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
23. Dynamic Syntax: the flow of language understanding
پدیدآورنده: Kempson, Ruth M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Syntax ، Grammar, Comparative and general,، Linguistic analysis )Linguistics(
رده :
P
291
.
K38
2001
24. Dynamic syntax
پدیدآورنده: / Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
کتابخانه: کتابخانه دانشکده زبان ها و ادبیات خارجی (دانشگاه تهران) (تهران)
موضوع: Grammar, Comparative and general -- Syllable.,Linguistic analysis (Linguistics)
رده :
P
291
.
K46
2001
25. Dynamic syntax. : the flow of language understanding
پدیدآورنده: Kempson, Ruth M, Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Grammar, Comparative and general- Syntax,، Linguistic analysis )Linguistics(
رده :
P
291
.
K38
26. Elementary Logics: A Procedural Perspective
پدیدآورنده: / Dov Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer Science,Logic, Symbolic and Mathematical
رده :
QA76
.
G223
1998
27. Elements of classical logic
پدیدآورنده: / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic
رده :
BC6
.
H36
1983
28. Elements of classical logic
پدیدآورنده: / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic
رده :
BC6
.
H36
1983
29. Extensions of classical logic
پدیدآورنده: / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic
رده :
BC6
.
H36
1983
30. Extensions of classical logic
پدیدآورنده: / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic
رده :
BC6
.
H36
1983
31. Extensions of classical logic
پدیدآورنده: / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic
رده :
BC6
.
H36
1983
32. Fibring logics
پدیدآورنده: Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
1999
33. Fibring logics
پدیدآورنده: Dov M. Gabbay
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
34. General Philosophy of Science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Philosophy and Science. ;
35. Goal-directed proof theory
پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000
36. Goal-directed proof theory
پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000
37. Greek, Indian and Arabic Logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic ; History. ;
38. Handbook Of The History Of Logic
پدیدآورنده: /Edited By Dov M. Gabbay
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
39. Handbook of Defeasible Reasoning and Uncertainty Management Systems.
پدیدآورنده: Dov M Gabbay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
Q375
.
D686
2010
40. Handbook of Logic in Computer Science
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
